Nuprl Lemma : bool-inhabited
0,22
postcript
pdf
latex
Definitions
true
,
t
T
Lemmas
btrue
wf
origin